and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
261	Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 09:17:12
262	Some Non-Classical Methods in Epistemic Logic and Games Can BAS ¸ KENT The Graduate Center of the City University of New York Add to Reading List Source URL: canbaskent.net - Date: 2014-03-06 23:48:43
263	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, On the feasibility of Description Logic knowledge bases with rough concepts and vague instances C. Maria Keet KRDB Research C Add to Reading List Source URL: ceur-ws.org - Date: 2010-04-20 14:40:20
264	From high heels to weed attics: a syntactic investigation of chick lit and literature Kim Jautze* Corina Koolen† Andreas van Cranenburgh† Hayco de Jong * Huygens ING † Institute for Logic, Language and Computatio Add to Reading List Source URL: anthology.aclweb.org - Date: 2013-05-18 13:09:38
265	W.K. Kellogg Foundation Logic Model Development Guide Using Logic Models to Bring Together Planning, Evaluation, and Action Logic Model Development Guide Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2011-07-23 00:08:18
266	Games for Learning A Sabotage Approach Nina Gierasimczuk, Lena Kurzen and Fernando R. Vel´azquez-Quesada Institute for Logic, Language and Computation Universiteit van Amsterdam Email: {N.Gierasimczuk \| L.M.Kurzen \| F.R Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 08:38:58
267	A Little Logic Goes a Long Way – Logical Reasoning in Web Data Integration and Ontology Learning Heiner Stuckenschmidt Universit¨ at Mannheim Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:16:31
268	Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems Add to Reading List Source URL: www.cse.unt.edu - Date: 2009-06-12 11:53:51
269	Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010 Add to Reading List Source URL: logic.cse.unt.edu - Date: 2010-07-26 23:06:18
270	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp - Date: 2011-11-05 07:38:23

UPDATE